.rcov_code td {
  border-bottom: 1px solid #ddd ;
  padding: 0;
  margin: 0;
}
.rcov_code tr {
  border: 0px;
  padding:0px;
  margin: 0px;
}
.rcov_code pre {
  border: 0px;
  padding: 0px;
  margin: 0px;
}
.rcov_run {}
.rcov_not_run {
  background-color: #d88;
}
.rcov_run a, .rcov_not_run a {
  text-decoration: none;
}
.rcov_run a {
  color: #333;
}
.rcov_not_run a {
  color: #000;
}
.rcov_overflow {
  overflow: auto;
  font-size: 50%;
}
